Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
81	On focusing and polarities in linear logic and intuitionistic logic Chuck Liang Hofstra University Hempstead, NY Dale Miller Add to Reading List Source URL: www.cs.hofstra.edu Language: English - Date: 2008-03-19 21:27:50
82	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
83	Focusing and Polarization in Intuitionistic Logic Chuck Liang1 and Dale Miller2 1 Department of Computer Science, Hofstra University, Hempstead, NYchuck.liang at hofstra.edu Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-06-15 07:30:42
84	Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:08:48 Metalogic Symbol Interpretation Structure Μ operator Linear temporal logic Model theory Logic Mathematics
85	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Intuitionistic Choice and Restricted Classical Logic Intuitionistic Choice and Add to Reading List Source URL: www.brics.dk - Date: 2000-05-31 07:31:11
86	Automating Theories in Intuitionistic Logic Guillaume Burel Nancy-Universit´e & LORIA? http://www.loria.fr/∼burel/ Abstract. Deduction modulo consists in applying the inference rules of Add to Reading List Source URL: www.ensiie.fr - Date: 2015-01-06 05:10:53
87	May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-20 13:23:34
88	Relational Sheaves and Predicate Intuitionistic Modal Logic Barnaby P. Hilken Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2001-08-20 04:05:20
89	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17
90	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory

UPDATE